Fix context_switch(). It is necessary to set_current() and
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 9 Jan 2006 11:25:05 +0000 (12:25 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 9 Jan 2006 11:25:05 +0000 (12:25 +0100)
commit89e23317ba22d6de3f3733b2624f2d75d0d06201
tree8b374488a0ede8440a988afdb8a1e5ea2d5694b8
parent1676162e17e90f35b2c2b03c5b6a06eb8dc35c0b
Fix context_switch(). It is necessary to set_current() and
then check curr_vcpu all with interrupts disabled. This in
turn requires us to hoist the heck of next's vcpu_dirty_cpumask
as sending the flush IPI needs us to have interrupts enabled to
avoid deadlock.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/domain.c